SEL[2]

Subset-Equational Language

Bharat Jayaraman

A declarative language combining sets and equational programming. Implemented in Quintus Prolog and C.

"Towards a Broader Basis for Logic Programming", B. Jayaraman, TR CS Dept, SUNY Buffalo, 1990.

"Set Abstraction in Functional and Logic Programming", F. S. K. Silbermann et al, ACM Proceedings [?] 1989.